منابع مشابه
Model completion of varieties of co-Heyting algebras
It is known that exactly eight varieties of Heyting algebras have a modelcompletion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the variety of Boolean algebras. For each of the six remaining varieties we introduce two axioms and show that 1) these axioms are satisfied by all the algebras in th...
متن کاملEvaluating project’s completion time with Q-learning
Nowadays project management is a key component in introductory operations management. The educators and the researchers in these areas advocate representing a project as a network and applying the solution approaches for network models to them to assist project managers to monitor their completion. In this paper, we evaluated project’s completion time utilizing the Q-learning algorithm. So the ...
متن کاملAmodal volume completion: 3D visual completion
This work considers the common problem of completing partially visible artifacts within a 3D scene. Human vision abilities to complete such artifacts are well studied within the realms of perceptual psychology. However, the psychological explanations for completion have received only limited application in the domain of 3D computer vision. Here, we examine prior work in this area of computer vi...
متن کاملSecant Varieties of Toric Varieties
If X is a smooth projective toric variety of dimension n we give explicit conditions on characters of the torus giving an embedding X →֒ Pr that guarantee dimSecX = 2n+ 1. We also give necessary and sufficient conditions for a general point of SecX to lie on a unique secant line when X is embedded into Pr using a complete linear system. For X of dimension 2 and 3 we give formulas for deg SecX in...
متن کاملVarieties
This chapter is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and motivate the fundamental concepts. We do this for the most part without proofs, and often without precise definitions, leaving these to the formal developmen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 1985
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm-50-1-13-18